<html>
<head><meta charset="utf-8"><title>secure-code cargo-crev proofs repository · wg-secure-code · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/146229-wg-secure-code/index.html">wg-secure-code</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/146229-wg-secure-code/topic/secure-code.20cargo-crev.20proofs.20repository.html">secure-code cargo-crev proofs repository</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="173996409"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146229-wg-secure-code/topic/secure-code%20cargo-crev%20proofs%20repository/near/173996409" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Nick12 <a href="https://rust-lang.github.io/zulip_archive/stream/146229-wg-secure-code/topic/secure-code.20cargo-crev.20proofs.20repository.html#173996409">(Aug 23 2019 at 19:33)</a>:</h4>
<p>Would it make sense to have a repo with cargo-crev proofs done by trusted people? I'm not 100% sure on how cargo-crev works, maybe just an entity/user is enough.</p>



<a name="174259977"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146229-wg-secure-code/topic/secure-code%20cargo-crev%20proofs%20repository/near/174259977" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Shnatsel <a href="https://rust-lang.github.io/zulip_archive/stream/146229-wg-secure-code/topic/secure-code.20cargo-crev.20proofs.20repository.html#174259977">(Aug 27 2019 at 19:07)</a>:</h4>
<p>I'd rather have individuals review code and provide proofs on their own than use the WG for that. The WG membership is essentially open, so I don't think a WG repo for proofs would make sense.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>